A note on the decidability of exponential terms

Decidability and Tameness in the Theory of Finite Semigroups

Free Vibrations Analysis of Functionally Graded Rectangular Nano-plates based on Nonlocal Exponential Shear Deformation Theory

In the present study the free vibration analysis of the functionally graded rectangular nanoplates is investigated. The nonlocal elasticity theory based on the exponential shear deformation theory has been used to obtain the natural frequencies of the nanoplate. In exponential shear deformation theory an exponential functions are used in terms of thickness coordinate to include the effect of tr...

A New Proof of Exponential Decidability for the Propositional -calculus with Program Converse

The propositional-Calculus (C) is a powerful propositional program logic with xpoints. C decidability with exponential upper bound was sketched for the rst time in 1988 by E. A. Emerson and Ch. S. Jutla on base of automata-theoretic technique, while a complete proof was published in 1999 only. Meanwhile M. Vardi sketched in 1998 an automata-theoretic proof of exponential decidability for the pr...

Prediction of global sea cucumber capture production based on the exponential smoothing and ARIMA models

Sea cucumber catch has followed “boom-and-bust” patterns over the period of 60 years from 1950-2010, and sea cucumber fisheries have had important ecological, economic and societal roles. However, sea cucumber fisheries have not been explored systematically, especially in terms of catch change trends. Sea cucumbers are relatively sedentary species. An attempt was made to explore whe...

Design of Direct Exponential Observers for Fault Detection of Nonlinear MEMS Tunable Capacitor

In this paper a novel method is proposed for construction of an exponential observer for nonlinear system. The presented method is based on direct solution of dynamic error without any linearzing of nonlinear terms. Necessary and sufficient conditions for construction of direct observer are presented. Stability of the observer is checked using Lyapunov theorem. Also the ability of this observer...